Uses of Class
abstraction.TransitionFunction

Packages that use TransitionFunction

abstraction

Uses of TransitionFunction in abstraction

Fields in abstraction with type parameters of type TransitionFunction

private java.util.Set<TransitionFunction>

Service.transitions

Methods in abstraction that return types with arguments of type TransitionFunction

java.util.Iterator<TransitionFunction>	Service.getTransitionFunctions() et all the triples of present state, action and next state stored from the document
protected java.util.Set<TransitionFunction>	Service.getTransitionFunctionsSet() get all the triples of present state, action and next state stored from the document

Method parameters in abstraction with type arguments of type TransitionFunction

private static java.lang.String	CartesianProduct.productTransition(java.util.Set<TransitionFunction> l1, java.lang.String l1Name, java.util.Set<TransitionFunction> l2, java.lang.String l2Name) This method execute a carthisian product among transition functions
private static java.lang.String	CartesianProduct.productTransition(java.util.Set<TransitionFunction> l1, java.lang.String l1Name, java.util.Set<TransitionFunction> l2, java.lang.String l2Name) This method execute a carthisian product among transition functions